-- MAIN == 3
DEF MAIN:nat == div(9,3)
